Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
31	Formal Verification of Probabilistic Algorithms Joe Hurd Trinity College University of Cambridge Add to Reading List Source URL: www.gilith.com - Date: 2007-08-20 14:55:54
32	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Excerpt More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11
33	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Table of Contents More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11
34	Cambridge University Press7 - Real-Time Systems: Formal Specification and Automatic Verification Ernst-Rudiger Olderog and Henning Dierks Index More information Add to Reading List Source URL: assets.cambridge.org - Date: 2008-10-20 04:00:11
35	Formal Verification of Information Flow Security for a Simple ARM-Based Separation Kernel Mads Dam, Roberto Guanciale, Narges Khakpour, Hamed Nemati KTH Royal Institute of Technology SE, Stockholm, Sweden Add to Reading List Source URL: prosper.sics.se - Date: 2013-10-17 09:26:32
36	Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2013-12-09 08:45:52
37	Formal Semantics and Automated Verification for the Border Gateway Protocol Konstantin Doug Weitz Add to Reading List Source URL: conferences.sigcomm.org - Date: 2016-09-01 13:44:42
38	Simulating Structual Reasoning on the CNF-Level Symposium on Structure in Hard Combinatorial Problems TU Vienna, Austria Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Add to Reading List Source URL: fmv.jku.at - Date: 2016-12-16 21:49:26
39	TRANSACTIONS ON CAD 1 A Survey of Automated Techniques for Formal Software Verification Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2015-01-20 02:28:40
40	DepQBF: A Dependency-Aware QBF Solver (System Description) Florian Lonsing and Armin Biere Institute for Formal Models and Verification (FMV) Johannes Kepler University, Linz, Austria http://fmv.jku.at Add to Reading List Source URL: www.kr.tuwien.ac.at - Date: 2013-05-02 03:19:04

UPDATE